: （～p→～q）∧（～r→～s）“将军若跨有荆益，保其岩阻，西和诸戎，南抚夷越，外结好孙权，内修政理，天下有变，则命一上将将荆州之军以向宛洛，将军身率益州之众出于秦川，百姓孰敢不箪食壶浆以迎将军者乎？”（《三国志·诸葛亮传》）若用英文字母依序表示逻辑变项，则上述语句所表达的命题可用符号公式表示为（）。